37 results
Certified, total serialisers with an application to Huffman encoding
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 33 / 2023
- Published online by Cambridge University Press:
- 12 December 2023, e12
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
4 - Adjunctions
-
- Book:
- Introducing String Diagrams
- Published online:
- 20 July 2023
- Print publication:
- 10 August 2023, pp 91-128
-
- Chapter
- Export citation
Epilogue
-
- Book:
- Introducing String Diagrams
- Published online:
- 20 July 2023
- Print publication:
- 10 August 2023, pp 167-168
-
- Chapter
- Export citation
1 - Category Theory
-
- Book:
- Introducing String Diagrams
- Published online:
- 20 July 2023
- Print publication:
- 10 August 2023, pp 1-32
-
- Chapter
- Export citation
References
-
- Book:
- Introducing String Diagrams
- Published online:
- 20 July 2023
- Print publication:
- 10 August 2023, pp 174-178
-
- Chapter
- Export citation
3 - Monads
-
- Book:
- Introducing String Diagrams
- Published online:
- 20 July 2023
- Print publication:
- 10 August 2023, pp 63-90
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Introducing String Diagrams
- Published online:
- 20 July 2023
- Print publication:
- 10 August 2023, pp i-iv
-
- Chapter
- Export citation
Dedication
-
- Book:
- Introducing String Diagrams
- Published online:
- 20 July 2023
- Print publication:
- 10 August 2023, pp v-vi
-
- Chapter
- Export citation
Appendix - Notation
-
- Book:
- Introducing String Diagrams
- Published online:
- 20 July 2023
- Print publication:
- 10 August 2023, pp 169-173
-
- Chapter
- Export citation
2 - String Diagrams
-
- Book:
- Introducing String Diagrams
- Published online:
- 20 July 2023
- Print publication:
- 10 August 2023, pp 33-62
-
- Chapter
- Export citation
Prologue
-
- Book:
- Introducing String Diagrams
- Published online:
- 20 July 2023
- Print publication:
- 10 August 2023, pp ix-xiv
-
- Chapter
- Export citation
Index
-
- Book:
- Introducing String Diagrams
- Published online:
- 20 July 2023
- Print publication:
- 10 August 2023, pp 179-182
-
- Chapter
- Export citation
Contents
-
- Book:
- Introducing String Diagrams
- Published online:
- 20 July 2023
- Print publication:
- 10 August 2023, pp vii-viii
-
- Chapter
- Export citation
5 - Putting It All Together
-
- Book:
- Introducing String Diagrams
- Published online:
- 20 July 2023
- Print publication:
- 10 August 2023, pp 129-166
-
- Chapter
- Export citation
Introducing String Diagrams
- The Art of Category Theory
-
- Published online:
- 20 July 2023
- Print publication:
- 10 August 2023
Super-naturals
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 32 / 2022
- Published online by Cambridge University Press:
- 31 January 2022, e5
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Parberry’s pairwise sorting network revealed
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 28 / 2018
- Published online by Cambridge University Press:
- 13 November 2018, e21
-
- Article
-
- You have access
- Export citation
On constructing 2-3 trees
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 28 / 2018
- Published online by Cambridge University Press:
- 26 October 2018, e19
-
- Article
-
- You have access
- Export citation
Batcher's odd-even merging network revealed
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 28 / 2018
- Published online by Cambridge University Press:
- 04 June 2018, e14
-
- Article
-
- You have access
- Export citation
Unifying structured recursion schemes: An Extended Study
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 26 / 2016
- Published online by Cambridge University Press:
- 03 February 2016, e1
-
- Article
-
- You have access
- Export citation